Algebra of bidirectional model synchronization ? Technical Report CSRG - 573
نویسنده
چکیده
The paper presents several algebraic models for semantics of bidirectional model synchronization and transformation. Different types of model synchronization are analyzed (view updates, selective and incremental synchronization), and this analysis motivates the formal definitions. Particularly, a new formal model of updates is proposed. Relationships between the formal models are precisely specified and discussed.
منابع مشابه
GRACE TECHNICAL REPORTS AO Software Behavior Model Evolution and Synchronization: A Bidirectional Graph Transformation Approach
The application of AO techniques in model driven software development still faces strong challenges. Two challenges we focus on in this report are AO model evolution and synchronization. In this report, we adopt a BiG (Bidirectional Graph Transformation) approach to AO model evolution and synchronization. The essential idea of our approach to AO model evolution and synchronization is that we ch...
متن کاملThe Causal Relationship between Government Revenue and Expenditure in Jordan
The main purpose of the study is to examine the causal relationship between government revenues and expenditures of the Jordan government over the period from 1990 to 2011 using Granger causality and VECM tests methodology. Which provides channels of causation between government revenues (GR) and government expenditures (GE).The empirical results show that bidirectional causality running betwee...
متن کاملGSDLAB TECHNICAL REPORT A Taxonomic Space for Increasingly Symmetric Model Synchronization
A pipeline of unidirectional model transformations is a wellunderstood architecture for model driven engineering tasks such as model compilation or view extraction. However, modern applications seem to require a shift towards networks of models related in various ways, whose synchronization often needs to be incremental and bidirectional. This new situation demands new features from transformat...
متن کاملMATHEMATICAL ENGINEERING TECHNICAL REPORTS Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called view. The corresponding backward transformation reflects changes in the view to the source. Its practically useful applications include replicated data synchronization, presentation-oriented editor development, tracin...
متن کاملGRACE TECHNICAL REPORTS GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Bidirectional model transformation is useful for maintaining consistency between two models, and has many potential applications in software development including model synchronization, round-trip engineering, and software evolution. Despite these attractive uses, the lack of a practical tool support for systematic development of well-behaved and efficient bidirectional model transformation pre...
متن کامل